As will become clear in Section 2.5.1 and Chapter 3, the semantics of a modifying prepositional phrase can interact in various ways with the semantics of what it modifies. I will therefore introduce a hierarchy of preposition types which will be used to type prepositions according to how they interact with the phrases they modify. This typing will be used in the compositional semantics to control the interaction of modifier with modfied.